Iterated uniform finite-state transducers

A deterministic iterated uniform finite-state transducer (for short, iufst) operates the same length-preserving transduction on several left-to-right sweeps. The first sweep occurs on the input string, while any other sweep processes the output of the previous one. We focus on constant sweep bounded iufsts. We study their descriptional power vs. deterministic finite automata, and the state cost of implementing language operations. Then, we focus on non-constant sweep bounded iufsts, showing a nonregular language hierarchy depending on sweep complexity

Implantation of autologous muscle-derived stem cells in treatment of fecal incontinence : results of an experimental pilot study

Background The aim of this study is to present results of the implantation of autologous myoblasts into the external anal sphincter (EAS) in ten patients with fecal incontinence. Methods After anatomical and functional assessment of the patients’ EAS, a vastus lateralis muscle open biopsy was performed. Stem cells were extracted from the biopsy specimens and cultured in vitro. Cell suspensions were then administered to the EAS. Patients were scheduled for follow-up visits in 6-week intervals. Total follow-up was 12 months. Results All biopsy and cell implantation procedures were performed without complications. Nine of the patients completed a full 12-month follow-up. There was subjective improvement in six patients (66.7 %). In manometric examinations 18 weeks after implantation, squeeze anal pressures and high-pressure zone length increased in all patients, with particularly significant sphincter function recovery in five patients (55.6 %). Electromyographic (EMG) examination showed an increase in signal amplitude in all patients, detecting elevated numbers of propagating action potentials. Twelve months after implantation two patients experienced deterioration of continence, which was also reflected in the deterioration of manometric and EMG parameters. The remaining four patients (44.4 %) still described their continence as better than before implantation and retained satisfactory functional examination parameters. Conclusions Implantation of autologous myoblasts gives good short-term results not only in a subjective assessment, but also in objective functional tests. It seems that this promising technology can improve the quality of life of patients with fecal incontinence, but further study is required to achieve better and more persistent results

On Measuring Non-Recursive Trade-Offs

We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of language families on the one hand, and differences in the decidability status of basic decision problems on the other. We develop a qualitative classification of non-recursive trade-offs in order to obtain a better understanding of this very fundamental behaviour of descriptional systems

Bounded Languages Meet Cellular Automata with Sparse Communication

Cellular automata are one-dimensional arrays of interconnected interacting finite automata. We investigate one of the weakest classes, the real-time one-way cellular automata, and impose an additional restriction on their inter-cell communication by bounding the number of allowed uses of the links between cells. Moreover, we consider the devices as acceptors for bounded languages in order to explore the borderline at which non-trivial decidability problems of cellular automata classes become decidable. It is shown that even devices with drastically reduced communication, that is, each two neighboring cells may communicate only constantly often, accept bounded languages that are not semilinear. If the number of communications is at least logarithmic in the length of the input, several problems are undecidable. The same result is obtained for classes where the total number of communications during a computation is linearly bounded

O teatro científico na formação inicial de professores de Química: experiência do grupo «química em cena»

Melhorar a educação é o discurso que mais se ouve em fóruns de discussão que refletem sobre a qualidade de vida das pessoas. No centro deste debate está a preocupação com a formação dos professores que se limitam a tentar transmitir conteúdos, mostrando-se, necessária a apresentação denovas metodologias. O teatro apresenta potencialidades, para ser encarado como uma ferramenta inovadora. Nesta perspectiva, o presente trabalho tem como objetivo analisar a experiência de formação inicial de professores de química através da participação no grupo de teatro «Química em Cena».Para isso utilizou como instrumento de investigação questionários. O teatro apresenta-se como uma metodologia que possibilita um processo diferenciado de aprendizado, desenvolvendo no aluno em formação estratégias para refletir sobre sua futura prática pedagógica

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.Comment: 15 pages (+ 13 pages of appendices), 5 figures; To appear in the proceedings of AUTOMATA 2018

Topological defects and Goldstone excitations in domain walls between ferromagnetic quantum Hall effect liquids

It is shown that the low-energy spectrum of a ferromagnetic quantum Hall effect liquid in a system with a multi-domain structure generated by an inhomogeneous bare Zeeman splitting $\epsilon_{Z}$ is formed by excitations localized at the walls between domains. For a step-like $\epsilon_Z(r)$, the domain wall spectrum includes a spin-wave with a linear dispersion and a small gap due to spin-orbit coupling, and a low-energy topological defects. The latter are charged and may dominate in the transport under conditions that the percolation through the network of domain walls is provided.Comment: 4 pages, 1 fi